Update the URL library manual.
authorChong Yidong <cyd@gnu.org>
Thu, 8 Nov 2012 19:03:49 +0000 (03:03 +0800)
committerChong Yidong <cyd@gnu.org>
Thu, 8 Nov 2012 19:03:49 +0000 (03:03 +0800)
commitda7eff27877ec12948cedc981091a122da9ec043
treea1bb15d3d29ff16fb69ef92198e875933d3891a7
parentd3f521778d8859e674af51cb91509fffceae675c
Update the URL library manual.

* doc/misc/url.texi (Introduction): Rename from Getting Started.
Rewrite the introduction.
(URI Parsing): Rewrite.  Omit the obsolete attributes slot.
doc/misc/ChangeLog
doc/misc/url.texi
etc/NEWS